Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
111	Analysis, Geometry and Stochastics for Planet Earth Date: Tuesday, June 2, 2015 Location: Room 402, EPSRC Centres for Doctoral Training Suite, Imperial College London Supported by: London Mathematical Society Institute a Add to Reading List Source URL: mpecdt.org Language: English - Date: 2015-05-14 04:59:27 Algorithm Mathematical logic Theoretical computer science Data assimilation Monte Carlo method Transportation theory Mathematical analysis Mathematics Applied mathematics
112	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
113	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
114	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
115	Yosys - A Free Verilog Synthesis Suite Clifford Wolf, Johann Glaser† Johannes Kepler University, Austria Institute for Integrated Circuits , † Add to Reading List Source URL: www.clifford.at Language: English - Date: 2013-10-11 16:34:33 Electronic design Integrated circuits Verilog Field-programmable gate array Standard cell Application-specific integrated circuit Logic synthesis High-level synthesis VHDL Electronic engineering Electronic design automation Hardware description languages
116	Beyond Differential Privacy: Composition Theorems and Relational Logic for f -divergences between Probabilistic Programs Gilles Barthe and Federico Olmedo IMDEA Software Institute, Madrid, Spain {Gilles.Barthe,Federico.O Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Functional analysis Distribution Interpretation Divergence Function Constructible universe Continuous function Mathematical analysis Mathematics Generalized functions
117	Certificates of Non-Membership for Classes of Read-Once Functions Dmitry Chistikov1? , Valentina Fedorova2 , and Andrey Voronenko2 1 Max Planck Institute for Software Systems (MPI-SWS), Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-05-28 08:28:09 Function Boolean algebra Artificial neuron Numerical software GEC Propositional directed acyclic graph Mathematics Functions and mappings Mathematical logic
118	Journal of Marketing Management June 2014, Vol. 2, No. 2, ppISSN: Print), Online) Copyright © The Author(sAll Rights Reserved. Published by American Research Institute for Policy Add to Reading List Source URL: jmm-net.com Language: English - Date: 2014-09-07 10:45:38 Innovation Service dominant logic Service design Service Relationship marketing Customer engagement Service system Service science management and engineering Marketing Business Co-creation
119	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
120	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science

UPDATE